a <<~ b

a ~>> b

a <~ b

a ~> b

a <~> b

a <|> b